Tensor products of finitely cocomplete and abelian categories

The purpose of this article is to study the existence of Deligne's tensor product of abelian categories by comparing it with the well-known ten- sor product of finitely cocomplete categories. The main result states that the former exists precisely when the latter is an abelian category, and moreover in this case both tensor products coincide. An example of two abelian categories whose Deligne tensor product does not exist is given.Comment: 14 page

Lax orthogonal factorisation systems

This paper introduces lax orthogonal algebraic weak factorisation systems on 2-categories and describes a method of constructing them. This method rests in the notion of simple 2-monad, that is a generalisation of the simple reflections studied by Cassidy, H\'ebert and Kelly. Each simple 2-monad on a finitely complete 2-category gives rise to a lax orthogonal algebraic weak factorisation system, and an example of a simple 2-monad is given by completion under a class of colimits. The notions of KZ lifting operation, lax natural lifting operation and lax orthogonality between morphisms are studied.Comment: 59 page

Consciosusness in Cognitive Architectures. A Principled Analysis of RCS, Soar and ACT-R

This report analyses the aplicability of the principles of consciousness developed in the ASys project to three of the most relevant cognitive architectures. This is done in relation to their aplicability to build integrated control systems and studying their support for general mechanisms of real-time consciousness.\ud To analyse these architectures the ASys Framework is employed. This is a conceptual framework based on an extension for cognitive autonomous systems of the General Systems Theory (GST).\ud A general qualitative evaluation criteria for cognitive architectures is established based upon: a) requirements for a cognitive architecture, b) the theoretical framework based on the GST and c) core design principles for integrated cognitive conscious control systems

Hopf measuring comonoids and enrichment

We study the existence of universal measuring comonoids $P(A,B)$ for a pair of monoids $A$, $B$ in a braided monoidal closed category, and the associated enrichment of a category of monoids over the monoidal category of comonoids. In symmetric categories, we show that if $A$ is a bimonoid and $B$ is a commutative monoid, then $P(A,B)$ is a bimonoid; in addition, if $A$ is a cocommutative Hopf monoid then $P(A,B)$ always is Hopf. If $A$ is a Hopf monoid, not necessarily cocommutative, then $P(A,B)$ is Hopf if the fundamental theorem of comodules holds; to prove this we give an alternative description of the dualizable $P(A,B)$-comodules and use the theory of Hopf (co)monads. We explore the examples of universal measuring comonoids in vector spaces and graded spaces.Comment: 30 pages. Version 2: re-arrangement of material; expansion of previous section 6, splitting into current sections 6,7,8; fix of graded algebras example, section 11; appendix removed; other minor fixes and edit

Principles for Consciousness in Integrated Cognitive Control

In this article we will argue that given certain conditions for the evolution of bi- \ud ological controllers, these will necessarily evolve in the direction of incorporating \ud consciousness capabilities. We will also see what are the necessary mechanics for \ud the provision of these capabilities and extrapolate this vision to the world of artifi- \ud cial systems postulating seven design principles for conscious systems. This article \ud was published in the journal Neural Networks special issue on brain and conscious- \ud ness

Knowledge and performance in innovative firms: An analysis of district and inter-district effects

ABSTRACT The first aim of the paper is to analyze the presence of knowledge in innovative firms located in industrial districts (ID) in order to contrast it with this kind of firm located in non industrial districts areas (NID). This approach assumes the presence of an industrial district effect, i.e., the presumption of a better performance of knowledge and economic results in the first group of firms. Second, we have attempted to identify the existence of interdistrict effect, i.e., the emergence of gaps in knowledge of innovative firms located in ID with different technological intensity. For both purposes we have chosen the Valencian ID in Spain. Besides, with the introduction of innovative firms as units of analysis we have assumed that: a) They reflect a superior use of knowledge resources as inputs for business innovation generation and b) Their greatest use of such resources facilitate the absorption of knowledge spillovers that flow through the district. The empirical analysis has used an unprecedented database containing information of 5,553 innovative companies we have found in the region. The mean analysis applied has allowed us to identify the variables with statistically significant differences, as a preliminary step to isolate the groups of firms with more pronounced central values. The results have shown the presence of differences characterizing differently innovative companies of ID and NID as well as the groups of innovative firms belonging to districts of different technological level. In the first case the superiority of innovative companies has not arisen and, consequently, we cannot confirm the existence of a district effect. Nevertheless, we have detected some evidence of inter-industrial effect in the gradation performance of innovation firms of shoes, textiles and tales.